00100 00200 (REMPROP @PROGN @P2VAL) 00300 (DEFPROP PROGN (LAMBDA (X) (LIST (QUOTE COND) (CONS T (CDR X))))INMACRO) 00400